free universal algebra

自由泛代数